Add some more font sizes

Make 15 and 17 available in the list. See bug 585371

diff --git a/gtk/gtkfontsel.c b/gtk/gtkfontsel.c
index 84ee9dc85a9278cef64d07b0897af5ea56b0b8b0..c3593c88b813220249b07434529334e9d24bfe40 100644 (file)
--- a/gtk/gtkfontsel.c
+++ b/gtk/gtkfontsel.c
@@ -90,7 +90,7 @@
 /* These are what we use as the standard font sizes, for the size list.
  */
 static const guint16 font_sizes[] = {
-  6, 7, 8, 9, 10, 11, 12, 13, 14, 16, 18, 20, 22, 24, 26, 28,
+  6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 20, 22, 24, 26, 28,
   32, 36, 40, 48, 56, 64, 72
 };